|
|
B'98 : recent advances in the development and use of the B method / Second International B Conference... ; ed. Didier Bert
Monografia
Publication
Berlin : Springer, cop. 1998
Description
VIII, 311 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Software process : principles, methodology, and technology / ed. Jean-Claude Derniame, Badara Ali Kaba, David Wastell
Monografia
Publication
Berlin : Springer, cop. 1999
Description
XII, 307 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
The common component modeling example : comparing software component models / ed. Andreas Rausch... [et al.]
Monografia
Publication
Berlin : Springer, cop. 2008
Description
VIII, 460 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formal aspects of component software : revised selected papers / 7th International Workshop... ; ed. Luís Soares Barbosa, Markus Lumpe
Monografia
Publication
Berlin : Springer, cop. 2012
Description
X, 303 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Objective software quality : objective quality : second symposium on software quality Techniques and Acquisition Criteria / Paolo Nesi
Monografia
Publication
Berlin : Springer, cop. 1995
Description
VIII, 248 p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Software configuration management : selected papers / ICSE'96 SCM-6 Workshop ; ed. Ian Sommerville
Monografia
Publication
Berlin : Springer, 1996
Description
VII, 290 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Software configuration management : ICSE SCM-4 and SCM-5 workshops selected papers / ed. Jacky Estublier
Monografia
Publication
Berlin : Springer, 1995
Description
IX, 30, [5] p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Software process technology : proceedings / 6th European Workshop... ; ed. Volker Gruhn
Monografia
Publication
Berlin : Springer, cop. 1998
Description
VIII, 155 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mobile agents and security / ed. Giovanni Vigna
Monografia
Publication
Berlin : Springer, cop. 1998
Description
XII, 256 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Software process technology : proceedings / 5th European Workshop... ; ed. Carlo Montangero
Monografia
Publication
Berlin : Springer, cop. 1996
Description
IX, 290 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Model checking software : proceedings / 9th International SPIN Workshop... ; ed. Dragan Bosnacki, Stefan Leue
Monografia
Publication
Berlin : Springer, cop. 2002
Description
X, 257 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mobile agents : proceedings / First International Workshop... ; ed. Kurt Rothermel, Radu Popescu-Zeletin
Monografia
Publication
Berlin : Springer, cop. 1997
Description
VIII, 221 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Real-time : theory and practice : proceedings / Rex Workshop ; ed. J. W. de Bakker... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
VIII, 723 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Formal aspects of component software / 9th International Symposium... ; ed. Corina S. Pasareanu, Gwen Salaün
Monografia
Publication
Berlin : Springer, 2012
Description
X, 277 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Software process technology : proceedings / Second European Workshop... ; ed. Jean-Claude Derniame
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
VIII, 253 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Fundamental approaches to software engineering : proceedings / Third International Conference... ; ed. Tom Maibaum
Monografia
Publication
Berlin : Springer, cop. 2000
Description
XIII, 374 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Software process technology : proceedings / 4th European Workshop... ; ed. Wilhelm Schäfer
Monografia
Publication
Berlin : Springer, cop. 1995
Description
IX, 259 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Product focused software process improvement : proceedings / 3rd International Conference... ; ed. Frank Bomarius, Seija Komi-Sirviö
Monografia
Publication
Berlin : Springer, cop. 2001
Description
XI, 382 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Experimental software engineering issues : critical assessment and future directions : proceedings / International Workshop... ; ed. H. Dieter Rombach, Victor R. Basili, Richard W. Selby
Monografia
Publication
Berlin : Springer, cop. 1993
Description
XVIII, 261 p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Product focused software process improvement : proceedings / 2nd International Conference... ; ed. Frank Bomarius, Markku Oivo
Monografia
Publication
Berlin : Springer, cop. 2000
Description
XI, 426 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|